Robert Goldblatt, Logics of Time and Computation, 2nd Ed.